Dedekind cut
[计] 戴德金割
🧩 词语组成解析
cut
[kʌt]
vt.& vi. 将（某物）切开（或分割）;
vt. 削减;剪切;切成;删剪;
vi. 电影;（为决定谁先出牌等）切牌;可被切割;可用于切割;
n. 切口;削减;剪裁;切片;
🗣️ 情景例句
I'll think-it-over.
我会仔细考虑的。
You're thinking too much.
你也未免想太多了吧！
When he woke up next morning, he discovered that the boat had, in the meantime, travelled to Calais.
第二天早上他醒来时，发现船在这段时间已经到了加。